Design of a Time Colored Petri Net Model of the Cloud-Based Mobile TV System

Testing requirements in the earlier stages of system design is a necessary step in system development. Mobile TV system has been in the spotlight due to widespread use of smart devices. Nowadays, most people in public transportation watch TV programs on their smartphones. However, this activity consumes a lot of smartphone battery power. The solution to this problem can be a cloud-based mobile TV system, which transfers the energy consuming processes to cloud and enables a prolonged, quality user experience enriched by social interaction. CPN tools provide an environment in which we can efficiently edit and simulate time colored Petri nets. This paper builds a Petri net model with CPN tools in order to evaluate the efficiency of the cloud-based mobile TV system. Since Petri net can become too big to handle when dealing with a complex system, we built a hierarchical colored Petri net. Furthermore, to investigate the response time of the system we built a timed Petri net. The introduced Petri net will help software developers to test the requirements of their cloud-based mobile TV systems.